Fundamental Group of n-sphere for n ≥ 2
نویسندگان
چکیده
In this paper T , U are non empty topological spaces, t is a point of T , and n is a natural number. Let S be a topological space and let T be a non empty topological space. Note that every function from S into T which is constant is also continuous. The following two propositions are true: (1) L01(0, 1, 0, 1) = id[0, 1]T . (2) For all real numbers r1, r2, r3, r4, r5, r6 such that r1 < r2 and r3 ≤ r4 and r5 < r6 holds L01(r1, r2, r3, r4) · L01(r5, r6, r1, r2) = L01(r5, r6, r3, r4). Let n be a positive natural number. Observe that En T is infinite and every non empty topological space which is n-locally Euclidean is also infinite. The following propositions are true:
منابع مشابه
Four-manifolds of Large Negative Deficiency
For every N > 0 there exists a group of deficiency less than −N that arises as the fundamental group of a smooth homology 4–sphere and also as the fundamental group of the complement of a compact contractible submanifold of the 4–sphere. A group is the fundamental group of the complement of a contractible submanifold of the n–sphere, n > 4, if and only if it is the fundamental group of a homolo...
متن کاملCompact Hypersurfaces in a Unit Sphere with Infinite Fundamental Group
It is our purpose to study curvature structures of compact hypersurfaces in the unit sphere S(1). We proved that the Riemannian product S( √ 1 − c2) ×Sn−1(c) is the only compact hypersurfaces in S(1) with infinite fundamental group, which satisfy r ≥ n−2 n−1 and S ≤ (n − 1)n(r−1)+2 n−2 + n−2 n(r−1)+2 , where n(n − 1)r is the scalar curvature of hypersurfaces and c = n−2 nr . In particular, we o...
متن کاملApplication of fundamental relations on n-ary polygroups
The class of $n$-ary polygroups is a certain subclass of $n$-ary hypergroups, a generalization of D{"o}rnte $n$-arygroups and a generalization of polygroups. The$beta^*$-relation and the $gamma^*$-relation are the smallestequivalence relations on an $n$-ary polygroup $P$ such that$P/beta^*$ and $P/gamma^*$ are an $n$-ary group and acommutative $n$-ary group, respectively. We use the $beta^*$-...
متن کاملThoroughly Knotted Homology Spheres
For H n a homology n-sphere, consider the problem of classifying locally flat imbeddings H n•'-• S n+2 up to isotopy. Since any imbedding may be altered by adding knots S n• S n+2, the classification problem is at least as complex as the isotopy classification of knots. Elsewhere [8] we show that there is a natural correspondence between k ot heory and the classification of those imbeddings H n...
متن کاملThe automorphism group of an affine quadric
We determine the automorphism group for a large class of affine quadrics over a field, viewed as affine algebraic varieties. The proof uses a fundamental theorem of Karpenko’s in the theory of quadratic forms [13], along with some useful arguments of birational geometry. In particular, we find that the automorphism group of the n-sphere {x0 + · · · + x 2 n = 1} over the real numbers is just the...
متن کاملOn the Degree of Exactness of Some Positive Cubature Formulas on the Sphere
In [3] we studied some interpolatory cubature formulas associated to a fundamental system of (n+1) (n ∈ N odd) points on the sphere, equidistributed on n+1 latitudinal circles. Being interpolatory, these formulas have the degree of exactness n, meaning that they are exact for spherical polynomials of degree ≤ n. We gave also equivalent conditions under which the degree of exactness is n + 1. In...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formalized Mathematics
دوره 20 شماره
صفحات -
تاریخ انتشار 2012